Control-flow analysis - PDFSEARCH.IO - Document Search Engine

Control-flow analysis
Results: 217

#	Item
171	Olin Shivers College of Computer and Information Science Northeastern University Spring[removed]Educational background Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-08-22 15:16:53 Association for Computing Machinery Functional programming International Conference on Functional Programming Continuation Control flow analysis SIGPLAN XPL Programming Language Design and Implementation Principles of Programming Languages Software engineering Computing Computer programming
172	The Mathematics 11 Competency Test Evaluation of Simple Formulas To evaluate an algebraic expression means to substitute given numbers for each literal symbol in the expression and then carry out the indicated arithmetic Add to Reading List Source URL: commons.bcit.ca Language: English - Date: 2014-05-26 15:56:38 Control flow Eval 5X Exponential function Expression Algebra Mathematics Mathematical analysis Abstract algebra
173	Curriculum Vitæ Matthew Might Spring 2008 Contact • Postal address: Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:39:56 Functional programming International Conference on Functional Programming Control flow analysis Principles of Programming Languages SIGPLAN Programming language Continuation Shivers Object-oriented programming Computing Software engineering Computer programming
174	L OOPFROG — loop summarization for static analysis Daniel Kroening Oxford University Comp. Lab., UK Aliaksei Tsitovich University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-03-25 19:46:35 Computing Nonassociative algebra Loop invariant Abstract interpretation Group theory Invariant For loop Model checking Infinite loop Software engineering Control flow Computer programming
175	804 IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. 14, NO. 5, SEPTEMBER 2006 Adjoint-Based Control of a New Eulerian Network Model of Air Traffic Flow Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 01:59:06 Mathematical physics Air traffic control Transport engineering Computational science Partial differential equation Traffic flow Fundamental diagram of traffic flow Numerical analysis Enhanced Traffic Management System Transport Land transport Road transport
176	Loop summarization and termination analysis? Aliaksei Tsitovich1 , Natasha Sharygina1 , Christoph M. Wintersteiger2 , and Daniel Kroening2 1 Formal Verification and Security Group, University of Lugano, Switzerland Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-01-11 17:53:38 Computer programming Loop invariant Termination analysis Invariant For loop Infinite loop Algorithm Software engineering Computing Control flow
177	Enroute Airspace Control and Controller Workload Analysis Using a Novel Slot-Based Sector Model Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 19:53:21 Traffic flow Air traffic control Transport Separation
178	Termination Analysis with Compositional Transition Invariants? Daniel Kroening1 , Natasha Sharygina2,4 , Aliaksei Tsitovich2 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-04-30 09:51:18 Program logic Formal methods Mathematical logic Static program analysis Termination analysis Predicate transformer semantics Transitive closure Algorithm Control flow Mathematics Abstract algebra Theoretical computer science
179	Microsoft PowerPoint - S4[removed]AMS wx clustering - CTATCTAT-1 Add to Reading List Source URL: www.emc.ncep.noaa.gov Language: English - Date: 2014-03-28 11:17:38 Traffic flow Cluster analysis Air traffic flow management Rainout Tom DeLay Statistics Air traffic control Road transport
180	Using Truck GPS Data for Freight Performance Analysis in the Twin Cities Metro Area Add to Reading List Source URL: www.dot.state.mn.us Language: English - Date: 2013-10-10 12:40:19 Mathematical physics Command and control Global Positioning System Nuclear command and control Surveying Traffic flow Advanced Test Reactor ATR Transport Technology Road transport

UPDATE